Type constructor - PDFSEARCH.IO - Document Search Engine

Type constructor
Results: 154

#	Item
51	Introduction The simple go-to mechanism can simulate all control structures. However, a program (as an encoding of a solution) written in terms of control structures is more maintainable. The measure of expressiveness of Add to Reading List Source URL: www.zhmicro.com Language: English - Date: 2015-01-01 22:54:35 Data types Type theory C++ Enumerated type Enumeration Constructor C++ classes Constant EXPRESS Computing Software engineering Computer programming
52	Optimizations of Eiffel programs: SmallEiffel, The GNU Eiffel Compiler Dominique COLNET, Olivier ZENDRA {colnet, zendra}@loria.fr LORIA UMR 7503 Add to Reading List Source URL: smarteiffel.loria.fr Language: English - Date: 2007-07-11 14:08:32 Object-oriented programming Cross-platform software Eiffel Subroutines Type theory Data types Constructor Type system C Software engineering Computing Computer programming
53	A Practical Escape and Effect Analysis for Building Lightweight Method Summaries ? Sigmund Cherem and Radu Rugina Computer Science Department Cornell University Ithaca, NY 14853 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2007-01-06 11:39:16 Method Object-oriented programming Type theory Cross-platform software Java Type signature Constructor This Escape analysis Software engineering Computing Computer programming
54	Moscow ML .Net Internals Version[removed]of November 2003 Niels Jørgen Kokholm, IT University of Copenhagen, Denmark Peter Sestoft, Royal Veterinary and Agricultural University, Copenhagen, Denmark This document describe Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-04-17 07:27:00 Subroutines Main function Closure Parameter ML C++ classes Constructor Type signature Tail call Software engineering Computer programming Computing
55	Supplementary material for Chapter 2 of the McGraw Hill book: “Object Oriented Software Engineering: Practical Software Development Using UML and Java” Copyright © 2001 Timothy C. Lethbridge and Robert Laganière Se Add to Reading List Source URL: www.site.uottawa.ca Language: English - Date: 2001-04-26 18:04:05 Java programming language C++ Cross-platform software Data types Primitive types Java Constructor C++ classes Boolean data type Computing Software engineering Computer programming
56	Outdoor AR Library Tutorial Displaying Tags in AR View by Tristan Scott The Human Interface Technology Laboratory New Zealand http://www.hitlabnz.org/mobileAR Add to Reading List Source URL: www.hitlabnz.org Language: English - Date: 2014-02-20 18:46:39 Computer programming Data types Type theory Method Canvas element Cross-platform software Constructor Tag Algebraic data type Computing Software engineering HTML
57	The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL Chitta Baral1 , Marcos Alvarez Gonzalez1 , and Aaron Gottesman1 School of Computing, Inf Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-02-13 21:47:51 Mathematical logic Type theory Logic in computer science Theory of computation Predicate logic Combinatory logic Simply typed lambda calculus Type constructor First-order logic Theoretical computer science Lambda calculus Mathematics
58	VIRUS BULLETIN www.virusbtn.com MALWARE ANALYSIS $= $$$_+$$+$$__+_$+$$_$+$$$_+$$_$ Add to Reading List Source URL: pferrie.host22.com Language: English - Date: 2011-09-27 17:18:26 C++ Data types Cross-platform software Method Type theory C++ classes Constructor Return statement C Computing Software engineering Computer programming
59	VIRUS BULLETIN www.virusbtn.com MALWARE ANALYSIS $= $$$_+$$+$$__+_$+$$_$+$$$_+$$_$ Add to Reading List Source URL: pferrie2.tripod.com Language: English - Date: 2011-03-01 20:03:06 C++ Data types Cross-platform software Method Type theory C++ classes Constructor Return statement C Computing Software engineering Computer programming
60	Embedding Foreign Systems in Postgres Duncan Temple Lang December 11, 2000 Abstract We describe a mechanism by which two high-level statistical computing environments are embedded within a Relational Database Management Add to Reading List Source URL: www.omegahat.org Language: English - Date: 2011-12-08 07:32:49 Cross-platform software Subroutines PostgreSQL Constructor Function object C++ classes Java Type signature Closure Software engineering Computing Computer programming

UPDATE